Zur Philosophie der Mathematik by Alexander George & Daniel J. Velleman
Autor:Alexander George & Daniel J. Velleman
Die sprache: deu
Format: epub
Herausgeber: Springer Berlin Heidelberg, Berlin, Heidelberg
Klassisch ist dieser Schluss gültig. Um zu sehen, ob er auch intuitionistisch gültig ist, hilft es, die Konklusion so umzuschreiben: . Ein Beweis hiervon ist ein Verfahren, das jeden Beweis von in einen Beweis von transformiert. Können wir ein solches Verfahren konstruieren unter der Annahme, dass wir einen Beweis von haben, der Prämisse von (11a)? Wir können es. Um das zu sehen, nehmen wir an, dass wir einen Beweis für haben, und wir zeigen, dass wir jetzt einen Beweis von führen können. Wir wissen, dass ein Beweis von gerade bedeutet, ein Verfahren zu haben, das von einem Beweis von ausgeht, der wie angenommen gegeben ist, und ihn in einen Beweis von transformiert. Diese Argumentation ist gültig für den Intuitionisten und daher auch (11a).
Die Umkehrung(11b)
Download
Diese Site speichert keine Dateien auf ihrem Server. Wir indizieren und verlinken nur Inhalte von anderen Websites zur Verfügung gestellt. Wenden Sie sich an die Inhaltsanbieter, um etwaige urheberrechtlich geschützte Inhalte zu entfernen, und senden Sie uns eine E-Mail. Wir werden die entsprechenden Links oder Inhalte umgehend entfernen.
Gedichte (1776-1788) by Schiller Friedrich(2154)
0146 - Die große Beute by Die große Beute(2090)
Der Skorpion by Der Skorpion(1660)
Die Physiker by Friedrich Dürrenmatt(1457)
Haut by Edel(1454)
Venus im Pelz by Leopold von Sacher-Masoch(1448)
Richter by unknow(1411)
09 by Diener des Bösen(1392)
Kaffee und Zigaretten by Schirach Ferdinand von(1359)
The Attack by Noam Chomsky(1347)
050 by Das Hotel der Toten(1345)
01 by LionHeart(1336)
Der Graf von Monte Christo 1 by Alexandre Dumas(1335)
Lady Chatterley by David Herbert Lawrence(1322)
2590 by Der Tote und der Sterbende(1310)
Die Biene Maja by Waldemar Bonsels(1296)
Herr Der Fliegen by Golding William(1284)
Der Idiot by Fjodor Dostojewskij(1281)
Reise Um Die Erde in 80 Tagen by Verne Jules(1260)
